Section: Partnerships and Cooperations

European Initiatives

FP7 & H2020 Projects

CRYSP

• Title: CRYSP: A Novel Framework for Collaboratively Building Cryptographically Secure Programs and their Proofs

• Programm: FP7

• Duration: November 2010 - October 2015

• Coordinator: Inria

• Inria contact: Anne-Lise Chenet-Pflieger

• The goal of CRYSP is to use recent advances in software verification and dependent type systems and apply them to the verification of cryptographic protocol implementations written in a variety of languages. We want to enable the collaborative development of such programs and their specifications. Our target is to be able to verify mainstream implementations of the Transport Layer Security Protocol.